Logical framework - PDFSEARCH.IO - Document Search Engine

Logical framework
Results: 288

#	Item
51	A Meta Linear Logical Framework Andrew McCreight and Carsten Sch¨ urmann Yale University New Haven, CT, USA {aem\|carsten}@cs.yale.edu Add to Reading List Source URL: www.itu.dk Language: English - Date: 2003-04-08 16:20:37
52	A Logical Framework for Monitoring and Evolving Software Components Howard Barringer and David Rydeheard School of Computer Science University of Manchester Oxford Road Manchester, M13 9PL, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-04-07 09:00:45
53	LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Objectively verifiable indicators of achievement Sources and means of verification Assumptions Overall objectives Please list them and number them. What are the over Add to Reading List Source URL: zaklada.civilnodrustvo.hr Language: English - Date: 2013-05-27 07:10:11
54	LOGICAL FRAMEWORK APPROACH - a brief and basic introduction ON-LINE TRAINING SEMINAR 28 June 2007 Add to Reading List Source URL: seagull2.euroregionbaltic.eu Language: English - Date: 2011-06-10 07:20:48
55	Nancy-Universit´e – LORIA (INRIA) Superdeduction as a Logical Framework R´eunion des groupes de travail GEOCAL et LAC du GDR IM Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:06
56	The Strength of Martin-Löf Type Theory with the Logical Framework (Work in Progress) Anton Setzer Swansea University, UK 1. Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2008-12-22 16:55:21
57	LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Objectively verifiable indicators of achievement Sources and means of verification Assumptions Overall objectives Please list them and number them. What are the over Add to Reading List Source URL: eaptc-ma.eu Language: English - Date: 2014-12-06 04:35:45
58	LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Overall objectives Add to Reading List Source URL: egypt-urban.net Language: English - Date: 2013-12-10 05:39:11 Performance indicator Management Environment Environmental indicator
59	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
60	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory

UPDATE